Suggesting Edits to Explain Failing Traces
نویسنده
چکیده
Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple ‘yes’ or ‘no’ answer may not be sufficient; often we need to understand why a violation occurs. This paper considers how computing the edit-distance between a trace and a specification can explain violations by suggesting correcting edits to the trace. By including information about the code location producing events in the trace, this method can highlight sources of bugs and suggest potential fixes.
منابع مشابه
Abstraction and Mining of Traces to Explain Concurrency Bugs
ion and Mining of Traces to Explain Concurrency Bugs Mitra Tabaei Befrouei1∗, Chao Wang2†, and Georg Weissenbacher 1 Vienna University of Technology 2 Virginia Tech Abstract. We propose an automated mining-based method for explaining concurrency bugs. We use a data mining technique called sequential pattern mining to identify problematic sequences of concurrent read and write accesses to the sh...
متن کاملImplied Edit Generation and Error Localization for Ratio and Balancing Edits
The U.S. Census Bureau has developed SPEER software that applies the Fellegi-Holt editing method to economic establishment surveys under ratio edit and a limited form of balancing. It is known that more than 99% of economic data only require these basic forms of edits. If implicit edits are available, then Fellegi-Holt methods have the advantage that they determine the minimal number of fields ...
متن کاملIdentifying Semantic Edit Intentions from Revisions in Wikipedia
Most studies on human editing focus merely on syntactic revision operations, failing to capture the intentions behind revision changes, which are essential for facilitating the single and collaborative writing process. In this work, we develop in collaboration with Wikipedia editors a 13-category taxonomy of the semantic intention behind edits in Wikipedia articles. Using labeled article edits,...
متن کاملبررسی و تبیین مشکل ناسازگاری زمانی
In very, simple words, time inconsistency means failing to conduct programs in consistence with time. In other words, time inconsistency refers to a situation where economic decision-makers preferences transform a long time in a way that what they preferred at a certain time point is not consistent with their preferences at other time points. In everyday life, we always face time inconsistency....
متن کاملYet a Better Error Explanation Algorithm
Error explanation [GV03, GCKS06] is a formal approach to automate diagnosis of software programs with the aid of a Satisfiability (SAT)-based model checker. Firstly, the semantics of the program is modeled as a Finite State Machine (FSM) and is encoded into an instance of the SAT problem [CKL04]. Given a specification expressed in a formal logic which does not hold on the FSM, error explanation...
متن کامل